symmetric matrix proof